#!/usr/bin/python
from aterm import *
from cterm import *

id = Id("a")
id.annotations = [ATerm("testIdA")]
test1 = ATerm("Address", [id], [ATerm("test1A")])
test2 = ATerm("Address", [id], [ATerm("test2A")])

symbols = dict()

symbols[test1] = 1
symbols[test2] = 2

print symbols
